$\forall$$l$:IdLnk, ${\it dt}$:${\it tg}$:Id fp$\rightarrow$ Type. lnk{-}decl($l$;${\it dt}$) $\in$ $k$:Knd fp$\rightarrow$ Type